<html>
<head><meta charset="utf-8"><title>weekly meeting 2018-10-15 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html">weekly meeting 2018-10-15</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="135846218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135846218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135846218">(Oct 15 2018 at 17:37)</a>:</h4>
<p>BTW I've been spending time this morning trying to open up issues (and listing them <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--APUTy2taEs31DVBszLTdi1MNAg-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--APUTy2taEs31DVBszLTdi1MNAg-oDfr6ct8xx63HSAOOmIZX">in the dropbox paper</a>)</p>



<a name="135847723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135847723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135847723">(Oct 15 2018 at 18:03)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="135847733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135847733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135847733">(Oct 15 2018 at 18:03)</a>:</h4>
<p>I guess I should make an alias for "folks who want to be pinged"</p>



<a name="135847759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135847759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135847759">(Oct 15 2018 at 18:04)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="135847820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135847820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135847820">(Oct 15 2018 at 18:04)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="131694">@scalexm</span> <span class="user-mention" data-user-id="116883">@tmandry</span> <span class="user-mention" data-user-id="117350">@Sunjay Varma</span>  <span class="user-mention" data-user-id="125685">@Diogo Sousa</span> <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> <span class="user-mention" data-user-id="120512">@uberjay</span></p>



<a name="135847829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135847829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135847829">(Oct 15 2018 at 18:04)</a>:</h4>
<p>those are people from last meeting, anyway. I'll make a <code>wg-traits</code> alias for that and add people (or remove!) as desired</p>



<a name="135847916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135847916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135847916">(Oct 15 2018 at 18:06)</a>:</h4>
<p>OK, there is now a <span class="user-group-mention" data-user-group-id="692">@WG-compiler-traits</span></p>



<a name="135847926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135847926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135847926">(Oct 15 2018 at 18:06)</a>:</h4>
<p>please tell me if you want on/off the list</p>



<a name="135847957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135847957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> memoryruins <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135847957">(Oct 15 2018 at 18:07)</a>:</h4>
<p>I would like to be included in the list :)</p>



<a name="135847964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135847964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135847964">(Oct 15 2018 at 18:07)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> thanks</p>



<a name="135848022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848022">(Oct 15 2018 at 18:08)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I've been working on trait aliases lately btw... let me know if you have a minute to discuss some things about trait alias candidate assembly</p>



<a name="135848028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848028">(Oct 15 2018 at 18:08)</a>:</h4>
<p>ok.</p>



<a name="135848033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848033">(Oct 15 2018 at 18:08)</a>:</h4>
<p>So, general structure for these meetings:</p>



<a name="135848052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848052">(Oct 15 2018 at 18:09)</a>:</h4>
<p>if you have anything to "announce", feel free to add it to <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--APUTy2taEs31DVBszLTdi1MNAg-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--APUTy2taEs31DVBszLTdi1MNAg-oDfr6ct8xx63HSAOOmIZX">the planning doc</a> -- e.g., <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span>, you might drop a note in there and/or pointer to branch etc</p>



<a name="135848061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848061">(Oct 15 2018 at 18:09)</a>:</h4>
<p>sure</p>



<a name="135848062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848062">(Oct 15 2018 at 18:09)</a>:</h4>
<p>from there I guess we can adlib it, but ideally we'll set some priorities for next week or two</p>



<a name="135848074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848074">(Oct 15 2018 at 18:09)</a>:</h4>
<p>As of last week, I spent some time trying to create some integration issues for people to get their feet wet</p>



<a name="135848129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848129">(Oct 15 2018 at 18:10)</a>:</h4>
<p>it occurs to me that there are probably relatively little "high-level docs" on how chalk, rustc, etc all fit together</p>



<a name="135848152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848152">(Oct 15 2018 at 18:10)</a>:</h4>
<p>yeah, there isn't. the rustc-guide is also very incomplete, or confusing in parts (though helpful in plenty still)</p>



<a name="135848154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848154">(Oct 15 2018 at 18:10)</a>:</h4>
<p>one thing I was wondering: would someone be interested in trying to write higher-level docs in rustc-guide about that? I was thinking we could schedule a live meeting (I can record it, too, so others can watch later) and kind of go ove the high-level outline</p>



<a name="135848161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848161">(Oct 15 2018 at 18:10)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> for that matter I'm currently extending the rustc-guide</p>



<a name="135848168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848168">(Oct 15 2018 at 18:10)</a>:</h4>
<p>and adding cross references to both rustc and chalk</p>



<a name="135848169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848169">(Oct 15 2018 at 18:10)</a>:</h4>
<p>I've always hoped to see rustc-guide getting written that way but never made it happen :)</p>



<a name="135848171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848171">(Oct 15 2018 at 18:10)</a>:</h4>
<p>might as well take another shot</p>



<a name="135848173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848173">(Oct 15 2018 at 18:11)</a>:</h4>
<p>ah, good to know</p>



<a name="135848184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848184">(Oct 15 2018 at 18:11)</a>:</h4>
<p>well maybe we'll wait on that</p>



<a name="135848191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848191">(Oct 15 2018 at 18:11)</a>:</h4>
<p>I’d be interested in helping with that</p>



<a name="135848202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> memoryruins <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848202">(Oct 15 2018 at 18:11)</a>:</h4>
<p>the overview given in <a href="https://github.com/rust-lang-nursery/chalk/pull/175" target="_blank" title="https://github.com/rust-lang-nursery/chalk/pull/175">https://github.com/rust-lang-nursery/chalk/pull/175</a> helped</p>



<a name="135848366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848366">(Oct 15 2018 at 18:14)</a>:</h4>
<p>so take a look at this <a href="https://github.com/rust-lang/rust/labels/chalk-integration" target="_blank" title="https://github.com/rust-lang/rust/labels/chalk-integration">list of issues</a></p>



<a name="135848367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848367">(Oct 15 2018 at 18:14)</a>:</h4>
<p>ideally, we'd start getting them assigned to people :)</p>



<a name="135848377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848377">(Oct 15 2018 at 18:14)</a>:</h4>
<p>my knowledge of chalk is next to zero. I've mainly worked with the old system.</p>



<a name="135848385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848385">(Oct 15 2018 at 18:15)</a>:</h4>
<p>I think I'll wait until integration before I learn it properly</p>



<a name="135848386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848386">(Oct 15 2018 at 18:15)</a>:</h4>
<p>I think that <a href="https://github.com/rust-lang/rust/issues/55097" target="_blank" title="https://github.com/rust-lang/rust/issues/55097">https://github.com/rust-lang/rust/issues/55097</a> is a good one if you are already familiar-ish with that part of rustc</p>



<a name="135848395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848395">(Oct 15 2018 at 18:15)</a>:</h4>
<p>which will happen when roughly, may I ask?</p>



<a name="135848404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848404">(Oct 15 2018 at 18:15)</a>:</h4>
<p>in particular, with <code>'tcx</code>, <code>'gcx</code>, lifting</p>



<a name="135848408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848408">(Oct 15 2018 at 18:15)</a>:</h4>
<blockquote>
<p>which will happen when roughly, may I ask?</p>
</blockquote>
<p>you may ask :)</p>



<a name="135848412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848412">(Oct 15 2018 at 18:15)</a>:</h4>
<p>but don't expect a clear answer yet ;)</p>



<a name="135848414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848414">(Oct 15 2018 at 18:15)</a>:</h4>
<p>ha</p>



<a name="135848426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848426">(Oct 15 2018 at 18:15)</a>:</h4>
<p>very rough is okay. e.g. "by year end" (?)</p>



<a name="135848473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848473">(Oct 15 2018 at 18:16)</a>:</h4>
<p>that said, I am hoping we can get the very prelim integration going this year. But that just means "proof of concept", I'd say</p>



<a name="135848523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848523">(Oct 15 2018 at 18:17)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/55098" target="_blank" title="https://github.com/rust-lang/rust/issues/55098">https://github.com/rust-lang/rust/issues/55098</a> and <a href="https://github.com/rust-lang/rust/issues/55096" target="_blank" title="https://github.com/rust-lang/rust/issues/55096">https://github.com/rust-lang/rust/issues/55096</a> seem like they won't be that complex (both will involve getting familiar with some bits of the system, but then that's the point)</p>



<a name="135848528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848528">(Oct 15 2018 at 18:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> well I'm basically adding the missing stuff in the rustc-guide about implied bounds mainly, so not extremely high level actually</p>



<a name="135848581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848581">(Oct 15 2018 at 18:18)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> so if you or anyone else can help with the high level view that'd be cool :)</p>



<a name="135848583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848583">(Oct 15 2018 at 18:18)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> if you want to work on higher-level rustc guide docs, I'd be psyched for it</p>



<a name="135848628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848628">(Oct 15 2018 at 18:19)</a>:</h4>
<p>yeah we should talk about a possible outline</p>



<a name="135848670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848670">(Oct 15 2018 at 18:20)</a>:</h4>
<p>at some point</p>



<a name="135848700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848700">(Oct 15 2018 at 18:20)</a>:</h4>
<p>ok, let's open an issue to track it</p>



<a name="135848713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848713">(Oct 15 2018 at 18:21)</a>:</h4>
<p>this will be good for me to actually gain such a high-level understanding :)</p>



<a name="135848720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848720">(Oct 15 2018 at 18:21)</a>:</h4>
<p>I can do that</p>



<a name="135848727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848727">(Oct 15 2018 at 18:21)</a>:</h4>
<p>created &lt;<a href="https://github.com/rust-lang/rust/issues/55100" target="_blank" title="https://github.com/rust-lang/rust/issues/55100">https://github.com/rust-lang/rust/issues/55100</a>&gt;</p>



<a name="135848728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848728">(Oct 15 2018 at 18:21)</a>:</h4>
<p>and assigned to you <span class="user-mention" data-user-id="116883">@tmandry</span></p>



<a name="135848775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848775">(Oct 15 2018 at 18:22)</a>:</h4>
<p>we can schedule a time to chat off line I guess</p>



<a name="135848791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848791">(Oct 15 2018 at 18:22)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> what is the status of bound-ty integration, and in particular relation to <a href="https://github.com/rust-lang/rust/pull/52984" target="_blank" title="https://github.com/rust-lang/rust/pull/52984">https://github.com/rust-lang/rust/pull/52984</a> ?</p>



<a name="135848823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848823">(Oct 15 2018 at 18:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> currently I only added the new <code>TyKind</code> and fixed the matches everywhere</p>



<a name="135848826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848826">(Oct 15 2018 at 18:23)</a>:</h4>
<p>I'm not sure how it relates to <a href="https://github.com/rust-lang/rust/issues/52984" target="_blank" title="https://github.com/rust-lang/rust/issues/52984">#52984</a> though</p>



<a name="135848835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848835">(Oct 15 2018 at 18:23)</a>:</h4>
<p>in particular, I thought that we were keeping the <code>Infer::CanonicalTy</code> name</p>



<a name="135848842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848842">(Oct 15 2018 at 18:23)</a>:</h4>
<p>ok, I would think that canonical types could use <code>BoundTy</code></p>



<a name="135848849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848849">(Oct 15 2018 at 18:24)</a>:</h4>
<p>hmm</p>



<a name="135848900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848900">(Oct 15 2018 at 18:24)</a>:</h4>
<p>maybe we said that, although I don't know why we would do it...I guess just to avoid need for debruijn index juggling?</p>



<a name="135848913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848913">(Oct 15 2018 at 18:24)</a>:</h4>
<p>it "feels" to me like types in canonical values are "bound" (and could re-use the same <code>replace_late_bound</code> methods as other things)</p>



<a name="135848934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848934">(Oct 15 2018 at 18:25)</a>:</h4>
<p>well</p>



<a name="135848935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848935">(Oct 15 2018 at 18:25)</a>:</h4>
<p>that seems like what I was trying to describe in <a href="https://github.com/rust-lang/rust/pull/52984#issuecomment-412209091" target="_blank" title="https://github.com/rust-lang/rust/pull/52984#issuecomment-412209091">this comment</a></p>



<a name="135848955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135848955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135848955">(Oct 15 2018 at 18:25)</a>:</h4>
<p>I agree with that, but making a parallel with your chalk PR <a href="https://github.com/rust-lang-nursery/chalk/pull/178" target="_blank" title="https://github.com/rust-lang-nursery/chalk/pull/178">https://github.com/rust-lang-nursery/chalk/pull/178</a></p>



<a name="135849013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849013">(Oct 15 2018 at 18:26)</a>:</h4>
<p>I was thinking that rustc's <code>CanonicalTy</code> was related to chalk's <code>Ty::InferenceVar</code></p>



<a name="135849027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849027">(Oct 15 2018 at 18:26)</a>:</h4>
<p>while rustc's <code>BoundTy</code> would be related to chalk's <code>Ty::BoundVar</code></p>



<a name="135849034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849034">(Oct 15 2018 at 18:26)</a>:</h4>
<p>well, in Chalk we use <code>Ty::BoundVar</code> to represent references to the bound variables in a canonical</p>



<a name="135849048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849048">(Oct 15 2018 at 18:27)</a>:</h4>
<p>(but <code>Ty::InferenceVar</code> to represent them once they are instantiated?)</p>



<a name="135849056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849056">(Oct 15 2018 at 18:27)</a>:</h4>
<p>(also, dear me, I forgot that chalk PR had not landed yet)</p>



<a name="135849151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849151">(Oct 15 2018 at 18:28)</a>:</h4>
<p>(or am I confused?)</p>



<a name="135849169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849169">(Oct 15 2018 at 18:29)</a>:</h4>
<p>(note to self: add traits glossary to rustc-guide :)</p>



<a name="135849345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849345">(Oct 15 2018 at 18:32)</a>:</h4>
<p>ok well it's a minor point, we can circle back to it</p>



<a name="135849383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849383">(Oct 15 2018 at 18:33)</a>:</h4>
<p>I guess that's enough with chalk for now — I'll review <span class="user-mention" data-user-id="131694">@scalexm</span>'s PR, people can take a look at those issues and indicate if they are interested (probably good to ask questions on Zulip), and we can circle back to some of these bound-ty and other questions here</p>



<a name="135849475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849475">(Oct 15 2018 at 18:35)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> did you want to talk about trait aliases now? (should we spin off a topic?)</p>



<a name="135849790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135849790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> memoryruins <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135849790">(Oct 15 2018 at 18:41)</a>:</h4>
<p>oh nice, the <code>lowering_error</code> and <code>lowering_success</code> macros for tests in chalk are really clean with how it divides the <code>program</code> and <code>error_msg</code> sections</p>



<a name="135850263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135850263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> memoryruins <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135850263">(Oct 15 2018 at 18:49)</a>:</h4>
<p>updated deps in <a href="https://github.com/rust-lang-nursery/chalk/pull/182" target="_blank" title="https://github.com/rust-lang-nursery/chalk/pull/182">https://github.com/rust-lang-nursery/chalk/pull/182</a></p>



<a name="135850265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135850265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> memoryruins <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135850265">(Oct 15 2018 at 18:49)</a>:</h4>
<p>left some notes of what to expect for when the time comes to update <code>ena</code> (looked into it a bit, but seemed like it should be its own PR since <code>UnificationStore</code> expects a handful of methods)</p>



<a name="135850826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135850826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135850826">(Oct 15 2018 at 18:58)</a>:</h4>
<p>Hi, just catching up on the messages. I am available to help with high level docs too.</p>
<blockquote>
<p>this will be good for me to actually gain such a high-level understanding :)</p>
</blockquote>
<p>I definitely need this as well :)</p>



<a name="135850854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135850854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135850854">(Oct 15 2018 at 18:59)</a>:</h4>
<p>I commented in the issue: <a href="https://github.com/rust-lang/rust/issues/55100#issuecomment-429973924" target="_blank" title="https://github.com/rust-lang/rust/issues/55100#issuecomment-429973924">https://github.com/rust-lang/rust/issues/55100#issuecomment-429973924</a></p>



<a name="135850859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135850859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135850859">(Oct 15 2018 at 18:59)</a>:</h4>
<p>so you know I'm around</p>



<a name="135851311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135851311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> memoryruins <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135851311">(Oct 15 2018 at 19:06)</a>:</h4>
<p>ah, i see the feature gates were already removed in niko’s pr (where all checks pass now)</p>



<a name="135853661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-15/near/135853661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-15.html#135853661">(Oct 15 2018 at 19:44)</a>:</h4>
<p>I think I'll merge that PR</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>